Ultraproducts and Saturated Models
نویسندگان
چکیده
منابع مشابه
External automorphisms of ultraproducts of finite models
Let L be a finite first-order language and 〈Mn | n < ω〉 be a sequence of finite L-models containing models of arbitrarily large finite cardinality. If the intersection of less than continuum-many dense open subsets of Cantor Space 2 is non-empty, then there is a non-principal ultrafilter U over ω such that the corresponding ultraproduct Q U Mn is infinite and has an automorphism that is not ind...
متن کاملUltraproducts and Hyperreal Numbers
Notions of infinite and infinitesimal numbers have been around since the earliest days of calculus; in particular, Leibniz found them a great inspiration in his co-invention of calculus. Later generations of analysts, including Weierstrass, frowned upon such notions, pointing out the lack of rigor in many of their arguments. Yet even Cauchy, who was largely known for his efforts to ‘clean up’ a...
متن کاملUltraproducts and Model Theory
The first-order model-theoretic description of mathematical structures is unable to always uniquely characterize models up to isomorphism when the models are not finite. In this paper I look to ultraproducts of models to remedy this somewhat. By taking the ultraproduct construction over models, we form a new model out of many that preserves all of the first-order logical sentences of “most” of ...
متن کاملUltraproducts and metastability
Given a convergence theorem in analysis, under very general conditions a model-theoretic compactness argument implies that there is a uniform bound on the rate of metastability. We illustrate with three examples from ergodic theory.
متن کاملMicroeconomic foundations of representative agent models by means of ultraproducts
This paper builds on a recent proposal for microeconomic foundations for “representative agents”. Herzberg [12] constructed a representative utility function for finite-dimensional social decision problems and since the decision problems of macroeconomic theory are typically infinite-dimensional, Herzberg’s original result is insufficient for many applications. We therefore generalise his resul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1964
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(64)50021-9